Genome-wide DNA methylation analysis of depression in human brain samples Oliver Kaut1, Ullrich Wüllner1, Rene Hurlemann2 University of Bonn, 1Dept. of Neurology, 2Dept. of Psychiatry, Sigmund-Freud-Str. 25, 53105 Bonn,

Source URL: www.brainbank.nl

• DNA
• Microarrays
• Posttranslational modification
• Genomics
• Methylation
• DNA methylation
• Illumina
• Gyrus
• Lumi
• Genetics
• Biology
• Epigenetics

Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1

Source URL: verify.rwth-aachen.de

• Static program analysis
• Termination analysis
• Automated theorem proving
• Programming paradigms
• Constraint programming
• Logic in computer science
• Prolog
• Unification
• Computer program
• Software engineering
• Computing
• Theoretical computer science

Two Exponentiation Algorithms Resistant to Cross-correlation Power Analysis and to Other Known Attacks Yaacov Belenky, Zeev Geyzel, Michael Kara-Ivanov, and Avraham Entelis NDS Technologies Israel Ltd., Shlomo haLevi Str

Source URL: eprint.iacr.org

• Exponentials
• Modular arithmetic
• Binary operations
• Computer arithmetic
• Public-key cryptography
• Modular exponentiation
• Addition-chain exponentiation
• Exponentiation
• Elliptic curve cryptography
• Mathematics
• Cryptography
• Abstract algebra

The Potential for Error in Forensic DNA Testing (and How That Complicates the Use of DNA Databases for Criminal Identification) William C. Thompson Department of Criminology, Law & Society University of California, Irvin

Source URL: www.councilforresponsiblegenetics.org

• Biometrics
• Molecular biology
• Biological databases
• DNA profiling
• National DNA database
• United Kingdom National DNA Database
• Combined DNA Index System
• Gene
• STR analysis
• Biology
• Genetics
• DNA

An Alternative Approach to the Fuzzifier in Fuzzy Clustering to Obtain Better Clustering Results Frank Klawonn Department of Computer Science University of Applied Sciences BS/WF Salzdahlumer Str

Source URL: public.fh-wolfenbuettel.de

• Cluster analysis
• K-means clustering
• Consensus clustering
• Statistics
• Multivariate statistics
• Fuzzy clustering

Automatic Detection, Classification and Visualization of Trends in large technical domain corpora Author: Dipl.-Kfm. Tobias Kalledat, School of Business and Economics of the Humboldt University in Berlin, Spandauer Str.

Source URL: www.kalledat.de

• Natural language processing
• Data analysis
• Knowledge
• Statistical natural language processing
• Discourse analysis
• Data mining
• Text mining
• Text corpus
• Ontology
• Science
• Computational linguistics
• Linguistics

Spatial Information Pricing and Licensing Guidelines Part of Victoria’s Spatial Information Management Framework Second Edition The Victorian Spatial Council was established under the Victorian Spatial Information Str

Source URL: victorianspatialcouncil.org

• Geospatial analysis
• Geography
• Science
• Statistics
• Spatial data analysis
• Geographic information systems
• Cartography
• Spatial data infrastructure

Spatial Information Framework Information Guidelines Part of Victoria’s Spatial Information Management Framework Second Edition The Victorian Spatial Council was established under the Victorian Spatial Information Str

Source URL: victorianspatialcouncil.org

• Geography
• Geospatial analysis
• Infrastructure for Spatial Information in the European Community
• Science
• Earth
• Shared Land Information Platform
• Spatial ETL
• Geographic information systems
• OMB Circular A-16
• Spatial data infrastructure

3D Shape Measurement System Based on Structured Light Technology A novel technique for high precision and full resolution dynamic motion analysis Système de Mesure de Forme 3D Basé sur la Technologie de la Lumière Str

Source URL: www.ista-net.net

The Limbo Programming Language Dennis M. Ritchie (Revised 2005 by Vita Nuova) Limbo is a programming language intended for applications running distributed systems on small computers. It supports modular programming, str

Source URL: www.vitanuova.com

• Data types
• Type theory
• Procedural programming languages
• C++
• Program analysis
• Type system
• C++ classes
• Objective-C
• ALGOL 68
• Software engineering
• Computing
• Computer programming